Theoretical philosophy - PDFSEARCH.IO - Document Search Engine

Theoretical philosophy
Results: 555

#	Item
531	PDF Document Add to Reading List Source URL: www.ecologia.unam.mx Language: English - Date: 2007-07-18 19:20:20 Philosophical movements Ecology Analytic philosophy Metatheory Philosophy of science Reductionism Dialectic Richard Lewontin Theoretical ecology Philosophy Science Metaphysics
532	PDF Document Add to Reading List Source URL: cimm.ucr.ac.cr Language: English - Date: 2013-04-05 21:33:26 Philosophers of mathematics Philosophers of science Imre Lakatos Theoretical computer science Philosophy of mathematics Quasi-empiricism in mathematics Lakatos Proofs and Refutations Alfréd Rényi Mathematics Hungarian people Science
533	PDF Document Add to Reading List Source URL: biology.uoregon.edu Language: English - Date: 2008-07-31 09:12:00 Systems ecology Philosophy of biology Biogeography Mathematical and theoretical biology Theoretical ecology Landscape ecology National Ecological Observatory Network Ecoinformatics Ecosystem Biology Ecology Science
534	PDF Document Add to Reading List Source URL: www.megafoundation.org Language: English - Date: 2004-12-29 01:53:34 Cosmology Reality Theoretical physics Science books Philosophy of physics Cosmogony Interpretations of quantum mechanics Determinism Quantum mechanics Physics Science Metaphysics
535	PDF Document Add to Reading List Source URL: www.eng.fsu.edu Language: English - Date: 2006-01-19 15:53:00 Digital electronics Mathematics Computational complexity theory Philosophy of thermal and statistical physics Reversible computing Quantum computer Irreversible process Computation Entropy Theoretical computer science Applied mathematics Models of computation
536	PDF Document Add to Reading List Source URL: www.easychair.org Language: English - Date: 2006-10-20 11:59:18 Theoretical computer science Automated theorem proving Formal methods Philosophy of mathematics Logic in computer science Automated reasoning Formal verification Mathematical logic Formal proof Mathematics Logic Applied mathematics
537	PDF Document Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-03-19 21:28:41 Formal methods Logic in computer science Model theory Philosophy of mathematics Automated theorem proving Satisfiability Modulo Theories First-order logic Satisfiability Logic Theoretical computer science Mathematics Mathematical logic
538	PDF Document Add to Reading List Source URL: www.chem.ucla.edu Language: English - Date: 2001-01-11 14:28:18 Theoretical chemistry Chemist Dmitri Mendeleev Quantum mechanics Reductionism Philosophy of chemistry Quantum chemistry Physics Physical chemistry Science Chemistry Philosophy of science
539	PDF Document Add to Reading List Source URL: www.bvinst.edu Language: English - Date: 2013-02-22 18:32:00 Computer science Models of computation Theoretical computer science Philosophy of computer science Ravi Gomatam Systems theory Chinese room Symbol grounding Quantum computer Philosophy of artificial intelligence Science Applied mathematics
540	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-11-16 08:41:24 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Visitor pattern Fixed-point combinator Lambda calculus Theoretical computer science Computer science Mathematics

UPDATE